Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
461	MUTUAL COOPERATION AND UNILATERAL ALTRUISM IN A ONE-SHOT PRISONER’S DILEMMA - A COMPUTABILITY APPROACH MIKIO NAKAYAMA Abstract. We consider the one-shot Prisoner’s Dilemma played by programs or machines, and show tha Add to Reading List Source URL: ies.keio.ac.jp Language: English - Date: 2015-05-07 04:10:57 Theory of computation Theoretical computer science Functions and mappings Function Computable function Equivalence relation Recursion Primitive recursive function Μ operator Mathematics Computability theory Mathematical logic
462	Percolation and local isoperimetric inequalities Augusto Teixeira∗ September 20, 2014 Abstract In this paper we establish some relations between percolation on a given graph Add to Reading List Source URL: w3.impa.br Language: English - Date: 2014-12-16 13:20:09 Isoperimetric dimension Isoperimetric inequality Combinatory logic Probabilistic method Dehn function Calculus of variations Mathematics Mathematical analysis Dimension
463	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
464	MOVESAbstracts Plenary Talks Elwyn Berlekamp, University of California, Berkeley The Game of Amazons Abstract coming soon! John H. Conway, Princeton University Add to Reading List Source URL: momath.org Language: English - Date: 2015-06-03 09:13:46 Combinatorial game theory NP-complete problems Logic puzzles Mathematical game John Horton Conway Mathematical puzzle Combinatorics Polyomino Mechanical puzzle Mathematics Recreational mathematics Puzzles
465	The Evolutionary Logic of Honoring Sunk Costs Mukesh Eswaran and Hugh M. Neary University of British Columbia September 8, 2013 Abstract Add to Reading List Source URL: econ.sites.olt.ubc.ca Language: English - Date: 2013-09-23 17:44:57 Sunk costs Symbol Finance Economics Business Behavioral finance Costs Microeconomics
466	Title: Inductive Scepticism and the Optimality of Meta-‐Induction Gerhard Schurz, University of Duesseldorf, Germany Abstract: The famous "N Add to Reading List Source URL: philosophy.ucsd.edu Language: English - Date: 2015-03-11 12:39:03 Inductive reasoning Epistemology Statistical inference Problem solving Scientific method Mathematical induction Prediction Problem of induction Science Knowledge Logic
467	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
468	Transformation Groups, Vol. 8, No. 4, 2003, pp. 321–332 c Birkh¨ auser Boston (2003) Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2006-04-26 18:47:05 Algebraic combinatorics Kazhdan–Lusztig polynomial Polynomials Representation theory of Lie algebras Representation theory of Lie groups Representation theory Symbol Dual space Linear temporal logic Abstract algebra Algebra Mathematics
469	Tableaux with Automata (Extended Abstract) Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany 1 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:21 Mathematical logic Method of analytic tableaux Ω-automaton Tree automaton Modal μ-calculus Modal logic Formal language Well-formed formula Deterministic automaton Logic Automata theory Mathematics
470	Epistemic Conservativity and Imprecise Credence Jason Konek University of Bristol Abstract Add to Reading List Source URL: www.susannaschellenberg.org Language: English - Date: 2015-04-13 10:00:48 Modal logic Philosophical logic Evidentiality Grammar Pragmatics Truth Epistemology Doxastic logic Function Logic Philosophy Mathematics

UPDATE